A Unified Modeling Framework for Discrete Event Simulation

نویسندگان

  • Ufuoma Bright Ighoroje
  • Mamadou Kaba Traoré
چکیده

We propose a unified modeling framework for discrete event simulation. Our approach aims to provide a generic framework to simplify construction of simulation models, and at the same time provide the capability to capture the dynamic, static, and functional aspects of a system under study. We adopt a graphical modeling technique that integrates best practices from several powerful modeling paradigms and unify them in a consistent framework. The model when defined using this framework would be amenable to formal analysis. We also provide a graphical editor that makes these models easy to construct, reuse, and extend.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

A discrete-event optimization framework for mixed-speed train timetabling problem

Railway scheduling is a complex task of rail operators that involves the generation of a conflict-free train timetable. This paper presents a discrete-event simulation-based optimization approach for solving the train timetabling problem to minimize total weighted unplanned stop time in a hybrid single and double track railway networks. The designed simulation model is used as a platform for ge...

متن کامل

Design of Distributed Simulation Environments: A Unified System-Theoretic and Logical Processes Approach

This article presents a framework for distributed simulation that is based on system-theoretic and logical-process concepts. The framework describes a three-part worldview for developing simulation models. These are modeling formalisms, abstract simulators, and computational environments. A unified view of time and causality allows for the application of system-theoretic notions of causality wi...

متن کامل

Supply-chain Simulation Integrated Discrete-event Modeling with System-Dynamics Modeling

This paper describes a novel simulation framework that integrates discreteevent modeling with system-dynamics modeling. The former has strength in system performance evaluation; meanwhile, the later has an advantage of representing feedback mechanisms in complex systems. We are currently developing a hybrid-modeling framework, which combines discrete-event modeling with system dynamics modeling...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010